61. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
62. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
63. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
64. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
65. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : H.-J. Burckert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
66. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : Burckert, Hans-Jurgen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
67. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
68. A structuralist theory of logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
69. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
رده :
BC
135
.
K64
70. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
71. A survey of symbolic logic
پدیدآورنده : Lewis, Clarence Irving
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L4
1960
72. A survey of symbolic logic
پدیدآورنده : Lewis, Charles Irving
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
73. A theory of formal deducibility
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
74. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
75. A theory of heuristic information in game-tree search
پدیدآورنده : TZENG,CHUN-HUNG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
Q
335
.
T99
76. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
no
.
18
77. A theory of sets
پدیدآورنده : MORSE,ANTHONY PERVY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : AGGREGATES , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
M62
78. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
79. #A tour through mathematical logic
پدیدآورنده : #Robert S. Wolf
موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
80. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6